module

public import Mathlib.Analysis.LocallyConvex.Separation

deprecated_module (since := "2025-11-06")
